namespace TestServices.Tests
{
    using System;
    using Microsoft.Pex.Framework;
    using Microsoft.Pex.Framework.Validation;
    using NUnit.Framework;
    using Microsoft.Pex.Framework.Generated;

    [TestFixture]
    [PexClass(typeof(MainForm))]
    [PexAllowedExceptionFromTypeUnderTest(typeof(ArgumentException), AcceptExceptionSubtypes = true)]
    [PexAllowedExceptionFromTypeUnderTest(typeof(InvalidOperationException))]
    public partial class MainFormTest
    {
        [PexMethod(MaxBranches = 20000)]
        public MainForm Constructor()
        {
            MainForm target = new MainForm();
            return target;
            // TODO: add assertions to method MainFormTest.Constructor()
        }

        [Test]
        [Ignore("the test state was: path bounds exceeded")]
        public void Constructor01()
        {
            using (PexDisposableContext disposables = PexDisposableContext.Create())
            {
                MainForm mainForm = this.Constructor();
                disposables.Add((IDisposable)mainForm);
                disposables.Dispose();
            }
        }
    }
}
